/* Images */
/* @noflip */div.floatright, table.floatright {
- margin: 0 0 .5em .5em;
+ margin: 0 0 0.5em 0.5em;
}
div.floatright p {
}
/* @noflip */div.floatleft, table.floatleft {
- margin: 0 .5em .5em 0;
+ margin: 0 0.5em 0.5em 0;
}
div.floatleft p {
/* Thumbnails */
div.thumb {
- margin-bottom: .5em;
+ margin-bottom: 0.5em;
width: auto;
background-color: transparent;
}
/* @noflip */
div.tright {
- margin: .5em 0 1.3em 1.4em;
+ margin: 0.5em 0 1.3em 1.4em;
}
/* @noflip */
div.tleft {
- margin: .5em 1.4em 1.3em 0;
+ margin: 0.5em 1.4em 1.3em 0;
}
/* Hide elements that are marked as "empty" according to legacy Tidy rules,